home *** CD-ROM | disk | FTP | other *** search
/ Magnum One / Magnum One (Mid-American Digital) (Disc Manufacturing).iso / d1 / awk210.arc / NUMBER.AWK < prev    next >
Encoding:
AWK Script  |  1988-12-30  |  212 b   |  9 lines
  1. BEGIN {
  2.     sign = "[+-]?"
  3.     decimal = "[0-9]+[.]?[0-9]*"
  4.     fraction = "[.][0-9]+"
  5.     exponent = "([eE]" sign "[0-9]+)?"
  6.     number = "^" sign "(" decimal "|" fraction ")" exponent "$"
  7. }
  8. $0 ~ number
  9.